- сигнатура алгебраической системы
- signature of algebraic system
Русско-английский научно-технический словарь Масловского. 2015.
сигнатура алгебраической системы
Look at other dictionaries:
СИГНАТУРА — 1) С. алгебраической системы совокупность отношений и операций, действующих на основном множестве данной алгебраич. системы, вместе с указанием их арностей. Алгебраич. система (универсальная алгебра) с сигнатурой W наз. также W с и с т е м о й… … Математическая энциклопедия
ЭНДОМОРФИЗМ — алгебраической системы отображение алгебраич. системы Ав себя, согласованное с ее структурой. А именно, если А алгебраич. система, сигнатура к рой состоит из множества символов операций и множества символов предикатов, то Э. должен удовлетворять… … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Альтернативные теории гравитации — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности (ОТО) или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации… … Википедия
МОНД — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации часто… … Википедия
Алгебраическая система — (или алгебраическая структура) в универсальной алгебре множество (носитель) с заданным на нём набором операций и отношений (сигнатура), удовлетворяющим некоторой системе аксиом. Алгебраическая система с пустым множеством отношений… … Википедия
